Creating a conditioned Arbitrary instance ( * Ambiguous type variable `a' arising from a use of `qui